Beckman, Nels E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press Proceeding of the 24th ACM SIGPLAN conference companion - Orlando, Florida, USA (2009.10.25-2009.10.29)] Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09 - Modular typestate checking in concurrent Java programs

Beckman, Nels E.

Year:

2009

Language:

english

File:

PDF, 333 KB

english, 2009

2

Probabilistic, modular and scalable inference of typestate specifications

Beckman, Nels E., Nori, Aditya V.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

3

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Probabilistic, modular and scalable inference of typestate specifications

Beckman, Nels E., Nori, Aditya V.

Year:

2011

Language:

english

File:

PDF, 786 KB

english, 2011

4

[ACM Press Companion to the 23rd ACM SIGPLAN conference - Nashville, TN, USA (2008.10.19-2008.10.23)] Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08 - Verifying correct usage of atomic blocks using access permissions

Beckman, Nels E.

Year:

2008

Language:

english

File:

PDF, 178 KB

english, 2008

5

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Proofs from tests

Beckman, Nels E., Nori, Aditya V., Rajamani, Sriram K., Simmons, Robert J.

Year:

2008

Language:

english

File:

PDF, 813 KB

english, 2008

6

Probabilistic, modular and scalable inference of typestate specifications

Beckman, Nels E., Nori, Aditya V.

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 786 KB

english, 2012